$\forall$$A$:Type, $f$:($A$$\rightarrow$$A$), $x$:($A$$\rightarrow$$A$$\rightarrow$$A$). SqStable(Dist1op2opLR($A$;$f$;$x$))